Discusses current global conditions including peace, changes in society, education, religion, spirituality, and consciousness.

This accessible and comprehensive overview of the work of Stanislav Grof, one of the founders of transpersonal psychology, was specifically written to acquaint...

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, all (...) atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.

Can matter, things, nonhuman organisms, technologies, tools and machines, biota or institutions be seen as creative? How does such creativity reposition the visionary activities of humans? This article is an elaboration of such questions as well as an attempt at a partial response. It was written as an editorial for the special issue of the Digital Creativity journal that interrogates the conception of Post-Anthropocentric Creativity. However, the text below is a rather unconventional editorial. It does not attempt to provide an (...) overview of the issue’s theme but, instead, samples it via a particular example. The idea of the issue was to think about post-anthropocentricism by considering (1) agents, recipients and processes of creativity alongside with its (2) purpose, value, ethics and politics. This article addresses the first subtheme by puzzling at the paradoxes of “field learning” and picks at the second by considering the texture of “automated beauty”. Both of these parts use chess for an example. The narrative on chess is intermitted by a section “on creativity” that attempts to contextualize the case-based discussion in the wider context and to consider motivations and implications. (shrink)

We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates—which are strongly related to definability in the monadic SOA (second-order arithmetic) without × or + , respectively. As a consequence, we obtain a very direct proof for ${\Pi^1_1}$ -completeness of Presburger, (...) and also Skolem, arithmetic with a free unary predicate, generalize it to all ${\Pi^1_n}$ -levels, and give an alternative description of the analytical hierarchy without × or + . Here ‘direct’ means that one explicitly m-reduces the truth of ${\Pi^1_1}$ -formulae in SOA to the truth in the extended structures. Notice that for the case of Presburger arithmetic, the ${\Pi^1_1}$ -completeness was already known, but the proof was indirect and exploited some special ${\Pi^1_1}$ -completeness results on so-called recurrent nondeterministic Turing machines—for these reasons, it was hardly able to shed any light on definability issues or possible generalizations. (shrink)

The impacts that AI and robotics systems can and will have on our everyday lives are already making themselves manifest. However, there is a lack of research on the ethical impacts and means for amelioration regarding AI and robotics within tourism and hospitality. Given the importance of designing technologies that cross national boundaries, and given that the tourism and hospitality industry is fundamentally predicated on multicultural interactions, this is an area of research and application that requires particular attention. Specifically, tourism (...) and hospitality have a range of context-unique stakeholders that need to be accounted for in the salient design of AI systems is to be achieved. This paper adopts a stakeholder approach to develop the conceptual framework to centralize human values in designing and deploying AI and robotics systems in tourism and hospitality. The conceptual framework includes several layers – ‘Human-human-AI’ interaction level, direct and indirect stakeholders, and the macroenvironment. The ethical issues on each layer are outlined as well as some possible solutions to them. Additionally, the paper develops a research agenda on the topic. (shrink)

What can the creation of artificial habitats to replace old-growth forests tell us about the process, value and future of design? This chapter takes a concrete and provocative example and uses it to rethink design as a gradual, ecological action. To illustrate this understanding, the chapter begins with a description of a proposal to provide artificial habitats for wild animals such as birds, bats and invertebrates. The controversial idea to replace rapidly disappearing old-growth trees with artificial structures puts in doubt (...) habitual assumptions about the clients, procedures and goals of design. This example is of relevance to all design because the need to provide artificial habitats to nonhumans will be increasingly common under the influence of such phenomena as global warming or urbanisation. … The invention of artificial structures in place of natural habitats is described in this chapter as an incitement that highlights the need for further research into values, participants and methods of design. This discussion concludes with a proposal for an attitude of modesty in the face of increasingly overwhelming volumes of information as well as in the presence of an even greater ignorance about the futures of nondeterministic, volatile and incompletely controllable natural systems. The dilemma of design in these conditions is in the tension between its remit to act and the uncertainty that inescapably underlies any creative endeavour. (shrink)

Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and canonicity, and hence axiomatize complete modal logics. The first-order properties definable by Sahlqvist formulas were syntactically characterized by Marcus Kracht in 1993. The present paper extends Kracht's theorem to the class of ‘generalized Sahlqvist formulas' introduced by Goranko and Vakarelov and describes an appropriate generalization of Kracht formulas.

The article presents the results of a study aimed at forming a general model of sprinter strength training, taking into account modern trends and scientific achievements, presented in the form of technology and combined techniques aimed at developing the physical quality under study. The general model was based on an approach based on the concentration of a given focus at specific stages of sports training, which determined the requirements for the distribution of the volume of training load while maintaining the (...) optimal integration into a holistic system that takes into account the qualifications of athletes. According to the results of the pedagogical experiment analysis, interpretation, and statistical processing of the obtained data, it was concluded about the importance of strength training sprinters in the system of sports training of athletes specializing in short distances, as well as the positive impact of the structural-functional model of strength training, which indicates the possibility of its application in modern practice, the coaches. (shrink)

The European Union’s funding of electricity made of biogas that is obtained from purpose-grown plants accelerated the global boom of renewable energy two decades ago. Tens of thousands of biogas plants were built in EU farms soon after. As this specific trend toward renewable energy globally spreads, it has the potential to alter the features of agriculture in the future. Such conceptual changes are related to a variety of socio-economic and environmental implications that manifest itself over a large time scale. (...) Regarding renewables made of purpose-grown plants, a majority of reservations are related to its production economy, particularly since these biofuels are expected to compete with food or feed. So far, little attention has been paid to the fact that the fields of farms that run biogas stations are subject to shortly repeated erosive crops followed by the intensive application of the fermentation residues obtained. The various types of soil on different European farms, which have been operating biogas stations for at least two decades, were analyzed. It was revealed for the first time that such practices cause soil degradation and pose a threat to food production, which has been overlooked until now. The relations between ethical and economical points of view are discussed. (shrink)

A concept of Pagan Theology has been producing a number of discussions throughout the last decade and particularly in the last few years both inside and outside Pagan community. In this paper, the author analyzes three aspects of the phenomenon of Pagan Theology and discussions emerged around it. The first aspect is the genesis of the idea of Pagan Theology. It includes an examination of academic and religious roots of this research programme. The second aspect is a view on Pagan (...) Theology from the perspective of the academia. While for some scholars Pagan Theology appears to be a legitimate field of study and/or research programme in Pagan Studies, others describe it is an attempt of Pagan intervention in the academia. Finally, the third aspect is a discussion on Pagan Theology emerged among Pagans, whose reflections of this topic are very ambiguous too. In spite of this fact, the author concludes that the idea of Pagan Theology was a necessary stage of development, both in the conceptualization of contemporary Paganism itself and in Pagan Studies at the same time. (shrink)

In this article, the author analyzes dominating contemporary approaches to the study of esotericism including those of W. Hanegraaff that is popular today among European scholars and its alternatives developing in the USA and the United Kingdom. The author argues that these methodologies should be understood as competitive „research programmes‟ inside the complex field of the academic study of esotericism and can‟t be described in terms of „old‟ and „new‟ paradigms like Hanegraaff tends to do it.

How can humanist principles of respect, dignity, and care inform and improve design for non-human lifeforms? This paper uses ageing and dying urban trees to understand how architectural, urban, and landscape design respond to nonhuman concerns. It draws on research in plant sciences, environmental history, ethics, environmental management, and urban design to ask: how can more-than-human ethics improve multispecies cohabitation in urban forests? The paper hypothesises that concepts of dignity and respect can underline the capabilities of nonhuman lifeforms and lead (...) to improved designs for multispecies cohabitation. To investigate the implications of this ethical framework, we 1) indicate injustices of current management in relation to natural and cultural histories of trees; 2) outline a conceptual framework that includes large old trees as stakeholders in urban communities; and 3) use this framework in a thought experiment with urban trees in Melbourne, outlining comparative design outcomes. Our findings show that the expansion of dignity to include nonhuman life is possible and plausible. Such an extension can justify and encourage design innovation for multiple species and sites. The resulting design practices will lead to improvements by supporting communities of trees at all stages of their life-cycles, including old age, death, and rebirth. This approach requires substantial shifts in accepted thinking and practices including history, ethics, aesthetics, regulation, and education. Design can play a significant role in the necessary transitions by demonstrating tangible and positive outcomes. In this context, history emerges as an essential tool that can extend societal imagination by situating possible future places in the context of ancient and ongoing geological, evolutionary, ecological, and cultural processes. (shrink)